Optimal. Leaf size=561 \[ -\frac{p \text{PolyLog}\left (2,\frac{\sqrt{-\sqrt{-f}} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \text{PolyLog}\left (2,\frac{\sqrt [4]{-f} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{p \text{PolyLog}\left (2,\frac{\sqrt{-\sqrt{-f}} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \text{PolyLog}\left (2,\frac{\sqrt [4]{-f} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}+\sqrt [4]{g}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\frac{\sqrt [4]{-f}}{\sqrt{x}}+\sqrt [4]{g}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.10713, antiderivative size = 561, normalized size of antiderivative = 1., number of steps used = 20, number of rules used = 10, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.417, Rules used = {2472, 2475, 263, 275, 205, 2416, 260, 2394, 2393, 2391} \[ -\frac{p \text{PolyLog}\left (2,\frac{\sqrt{-\sqrt{-f}} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \text{PolyLog}\left (2,\frac{\sqrt [4]{-f} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{p \text{PolyLog}\left (2,\frac{\sqrt{-\sqrt{-f}} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \text{PolyLog}\left (2,\frac{\sqrt [4]{-f} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}+\sqrt [4]{g}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\frac{\sqrt [4]{-f}}{\sqrt{x}}+\sqrt [4]{g}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2472
Rule 2475
Rule 263
Rule 275
Rule 205
Rule 2416
Rule 260
Rule 2394
Rule 2393
Rule 2391
Rubi steps
\begin{align*} \int \frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right )}{f+g x^2} \, dx &=2 \operatorname{Subst}\left (\int \frac{x \log \left (c \left (d+\frac{e}{x}\right )^p\right )}{f+g x^4} \, dx,x,\sqrt{x}\right )\\ &=-\left (2 \operatorname{Subst}\left (\int \frac{\log \left (c (d+e x)^p\right )}{\left (f+\frac{g}{x^4}\right ) x^3} \, dx,x,\frac{1}{\sqrt{x}}\right )\right )\\ &=-\left (2 \operatorname{Subst}\left (\int \left (-\frac{f x \log \left (c (d+e x)^p\right )}{2 \sqrt{-f} \sqrt{g} \left (\sqrt{-f} \sqrt{g}-f x^2\right )}-\frac{f x \log \left (c (d+e x)^p\right )}{2 \sqrt{-f} \sqrt{g} \left (\sqrt{-f} \sqrt{g}+f x^2\right )}\right ) \, dx,x,\frac{1}{\sqrt{x}}\right )\right )\\ &=-\frac{\sqrt{-f} \operatorname{Subst}\left (\int \frac{x \log \left (c (d+e x)^p\right )}{\sqrt{-f} \sqrt{g}-f x^2} \, dx,x,\frac{1}{\sqrt{x}}\right )}{\sqrt{g}}-\frac{\sqrt{-f} \operatorname{Subst}\left (\int \frac{x \log \left (c (d+e x)^p\right )}{\sqrt{-f} \sqrt{g}+f x^2} \, dx,x,\frac{1}{\sqrt{x}}\right )}{\sqrt{g}}\\ &=-\frac{\sqrt{-f} \operatorname{Subst}\left (\int \left (\frac{\sqrt{-\sqrt{-f}} \log \left (c (d+e x)^p\right )}{2 f \left (\sqrt [4]{g}-\sqrt{-\sqrt{-f}} x\right )}-\frac{\sqrt{-\sqrt{-f}} \log \left (c (d+e x)^p\right )}{2 f \left (\sqrt [4]{g}+\sqrt{-\sqrt{-f}} x\right )}\right ) \, dx,x,\frac{1}{\sqrt{x}}\right )}{\sqrt{g}}-\frac{\sqrt{-f} \operatorname{Subst}\left (\int \left (-\frac{\sqrt [4]{-f} \log \left (c (d+e x)^p\right )}{2 f \left (\sqrt [4]{g}-\sqrt [4]{-f} x\right )}+\frac{\sqrt [4]{-f} \log \left (c (d+e x)^p\right )}{2 f \left (\sqrt [4]{g}+\sqrt [4]{-f} x\right )}\right ) \, dx,x,\frac{1}{\sqrt{x}}\right )}{\sqrt{g}}\\ &=-\frac{\operatorname{Subst}\left (\int \frac{\log \left (c (d+e x)^p\right )}{\sqrt [4]{g}-\sqrt{-\sqrt{-f}} x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt{-\sqrt{-f}} \sqrt{g}}+\frac{\operatorname{Subst}\left (\int \frac{\log \left (c (d+e x)^p\right )}{\sqrt [4]{g}+\sqrt{-\sqrt{-f}} x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt{-\sqrt{-f}} \sqrt{g}}-\frac{\operatorname{Subst}\left (\int \frac{\log \left (c (d+e x)^p\right )}{\sqrt [4]{g}-\sqrt [4]{-f} x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt [4]{-f} \sqrt{g}}+\frac{\operatorname{Subst}\left (\int \frac{\log \left (c (d+e x)^p\right )}{\sqrt [4]{g}+\sqrt [4]{-f} x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt [4]{-f} \sqrt{g}}\\ &=-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\sqrt [4]{g}+\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\sqrt [4]{g}+\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{(e p) \operatorname{Subst}\left (\int \frac{\log \left (\frac{e \left (\sqrt [4]{g}-\sqrt{-\sqrt{-f}} x\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{d+e x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{(e p) \operatorname{Subst}\left (\int \frac{\log \left (\frac{e \left (\sqrt [4]{g}+\sqrt{-\sqrt{-f}} x\right )}{-d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{d+e x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{(e p) \operatorname{Subst}\left (\int \frac{\log \left (\frac{e \left (\sqrt [4]{g}-\sqrt [4]{-f} x\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{d+e x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{(e p) \operatorname{Subst}\left (\int \frac{\log \left (\frac{e \left (\sqrt [4]{g}+\sqrt [4]{-f} x\right )}{-d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{d+e x} \, dx,x,\frac{1}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}\\ &=-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\sqrt [4]{g}+\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\sqrt [4]{g}+\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{\sqrt{-\sqrt{-f}} x}{-d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{x} \, dx,x,d+\frac{e}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \operatorname{Subst}\left (\int \frac{\log \left (1-\frac{\sqrt{-\sqrt{-f}} x}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{x} \, dx,x,d+\frac{e}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{p \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{\sqrt [4]{-f} x}{-d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{x} \, dx,x,d+\frac{e}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{p \operatorname{Subst}\left (\int \frac{\log \left (1-\frac{\sqrt [4]{-f} x}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{x} \, dx,x,d+\frac{e}{\sqrt{x}}\right )}{2 \sqrt{-f} \sqrt{g}}\\ &=-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\sqrt [4]{g}+\frac{\sqrt{-\sqrt{-f}}}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\frac{e \left (\sqrt [4]{g}-\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\frac{e \left (\sqrt [4]{g}+\frac{\sqrt [4]{-f}}{\sqrt{x}}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{p \text{Li}_2\left (\frac{\sqrt{-\sqrt{-f}} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \text{Li}_2\left (\frac{\sqrt [4]{-f} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}-\frac{p \text{Li}_2\left (\frac{\sqrt{-\sqrt{-f}} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt{-\sqrt{-f}}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}+\frac{p \text{Li}_2\left (\frac{\sqrt [4]{-f} \left (d+\frac{e}{\sqrt{x}}\right )}{d \sqrt [4]{-f}+e \sqrt [4]{g}}\right )}{2 \sqrt{-f} \sqrt{g}}\\ \end{align*}
Mathematica [C] time = 0.530052, size = 912, normalized size = 1.63 \[ \frac{\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\sqrt [4]{g} \sqrt{x}-\sqrt [4]{-f}\right )-p \log \left (-\frac{\sqrt [4]{g} \left (\sqrt{x} d+e\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right ) \log \left (-\sqrt [4]{g} \sqrt{x}-\sqrt [4]{-f}\right )+p \log \left (\frac{f \sqrt [4]{g} \sqrt{x}}{(-f)^{5/4}}\right ) \log \left (-\sqrt [4]{g} \sqrt{x}-\sqrt [4]{-f}\right )-\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (-\sqrt [4]{g} \sqrt{x}-i \sqrt [4]{-f}\right )+p \log \left (\frac{i \sqrt [4]{g} \left (\sqrt{x} d+e\right )}{\sqrt [4]{-f} d+i e \sqrt [4]{g}}\right ) \log \left (-\sqrt [4]{g} \sqrt{x}-i \sqrt [4]{-f}\right )-\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (i \sqrt [4]{-f}-\sqrt [4]{g} \sqrt{x}\right )+p \log \left (\frac{\sqrt [4]{g} \left (\sqrt{x} d+e\right )}{i \sqrt [4]{-f} d+e \sqrt [4]{g}}\right ) \log \left (i \sqrt [4]{-f}-\sqrt [4]{g} \sqrt{x}\right )+\log \left (c \left (d+\frac{e}{\sqrt{x}}\right )^p\right ) \log \left (\sqrt [4]{-f}-\sqrt [4]{g} \sqrt{x}\right )-p \log \left (\frac{\sqrt [4]{g} \left (\sqrt{x} d+e\right )}{\sqrt [4]{-f} d+e \sqrt [4]{g}}\right ) \log \left (\sqrt [4]{-f}-\sqrt [4]{g} \sqrt{x}\right )-p \log \left (i \sqrt [4]{-f}-\sqrt [4]{g} \sqrt{x}\right ) \log \left (-\frac{i \sqrt [4]{g} \sqrt{x}}{\sqrt [4]{-f}}\right )-p \log \left (-\sqrt [4]{g} \sqrt{x}-i \sqrt [4]{-f}\right ) \log \left (\frac{i \sqrt [4]{g} \sqrt{x}}{\sqrt [4]{-f}}\right )+p \log \left (\sqrt [4]{-f}-\sqrt [4]{g} \sqrt{x}\right ) \log \left (\frac{\sqrt [4]{g} \sqrt{x}}{\sqrt [4]{-f}}\right )-p \text{PolyLog}\left (2,\frac{d \left (\sqrt [4]{-f}-\sqrt [4]{g} \sqrt{x}\right )}{\sqrt [4]{-f} d+e \sqrt [4]{g}}\right )+p \text{PolyLog}\left (2,\frac{d \left (\sqrt [4]{-f}-i \sqrt [4]{g} \sqrt{x}\right )}{\sqrt [4]{-f} d+i e \sqrt [4]{g}}\right )+p \text{PolyLog}\left (2,\frac{d \left (i \sqrt [4]{g} \sqrt{x}+\sqrt [4]{-f}\right )}{d \sqrt [4]{-f}-i e \sqrt [4]{g}}\right )-p \text{PolyLog}\left (2,\frac{d \left (\sqrt [4]{g} \sqrt{x}+\sqrt [4]{-f}\right )}{d \sqrt [4]{-f}-e \sqrt [4]{g}}\right )-p \text{PolyLog}\left (2,1-\frac{i \sqrt [4]{g} \sqrt{x}}{\sqrt [4]{-f}}\right )-p \text{PolyLog}\left (2,\frac{i \sqrt [4]{g} \sqrt{x}}{\sqrt [4]{-f}}+1\right )+p \text{PolyLog}\left (2,\frac{\sqrt [4]{g} \sqrt{x}}{\sqrt [4]{-f}}+1\right )+p \text{PolyLog}\left (2,\frac{\sqrt [4]{g} \sqrt{x} f}{(-f)^{5/4}}+1\right )}{2 \sqrt{-f} \sqrt{g}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.747, size = 0, normalized size = 0. \begin{align*} \int{\frac{1}{g{x}^{2}+f}\ln \left ( c \left ( d+{e{\frac{1}{\sqrt{x}}}} \right ) ^{p} \right ) }\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\log \left (c \left (\frac{d x + e \sqrt{x}}{x}\right )^{p}\right )}{g x^{2} + f}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left (c{\left (d + \frac{e}{\sqrt{x}}\right )}^{p}\right )}{g x^{2} + f}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]